首页> 外文OA文献 >Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

【2h】

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

机译：用mizar形式化有限素场上与椭圆曲线相关的定义和定理的形式化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
 ; ; ; Yuichi ; ; ; YuichiFuta; Hiroyuki Okazaki; Yasunari Shidama;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar [J] . Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama Journal of Automated Reasoning . 2013,第2期

机译：使用Mizar形式化与有限质数域上的椭圆曲线有关的定义和定理的形式化
2. On the construction of irreducible polynomials over finite fields via odd prime degree endomorphisms of elliptic curves [J] . Ugolini Simone Periodica Mathematica Hungarica: Journal of the Janos Bolyai Mathematical Society . 2018,第1期

机译：椭圆曲线奇异性阶段内术中不可缩短的有限田的结构
3. The Frequency of Elliptic Curve Groups over Prime Finite Fields [J] . Chandee Vorrapan, David Chantal, Koukoulopoulos Dimitris, Canadian Journal of Mathematics . 2016,第4期

机译：素有限域上椭圆曲线群的频率
4. Java Card Implementation of the Elliptic Curve Integrated Encryption Scheme Using Prime and Binary Finite Fields [C] . V. Gayoso Martinez, L. Hernandez Encinas, C. Sanchez Avila Computational intelligence in security for information systems . 2011

机译：使用素数和二进制有限字段的椭圆曲线集成加密方案的Java卡实现
5. Fast and Flexible Hardware Support for Elliptic Curve Cryptography over Multiple Standard Prime Finite Fields. [D] . Alrimeih, Hamad. 2012

机译：对多个标准素有限域上的椭圆曲线密码学提供快速灵活的硬件支持。
6. Some Theorems in Finite Field Theory with Applications to Fermats Last Theorem [O] . H. S. Vandiver 1944

机译：有限场理论中的一些定理及其在费马最后定理中的应用
7. Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar [O] . Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama 2012

机译：使用Mizar形式化与有限质数域上的椭圆曲线有关的定义和定理的形式化
8. Algebraic Theory of Machines. I. The Main Decomposition Theorem. Prime Decomposition Theorem for Finite Semigroups [R] . Krohn, K. B., Rhodes, J. L. 1963

机译：机器代数理论。一，主要分解定理。有限半群的素分解定理

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

著录项

引文网络

相似文献

相关主题

期刊订阅